Results for 'Michiel| Stokhof van Lambalgen'

54 found
Order:
  1.  27
    Filosofie aan de Universiteit van Amsterdam.Michiel| Stokhof van Lambalgen - 2010 - Tijdschrift Voor Filosofie 72 (4):645.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Naturalising Mathematics? A Wittgensteinian Perspective.Jan Stam, Martin Stokhof & Michiel Van Lambalgen - 2022 - Philosophies 7 (4):85.
    There is a noticeable gap between results of cognitive neuroscientific research into basic mathematical abilities and philosophical and empirical investigations of mathematics as a distinct intellectual activity. The paper explores the relevance of a Wittgensteinian framework for dealing with this discrepancy.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  52
    Abstracties en idealisaties: de constructie van de moderne taalkunde.Martin Stokhof & Michiel van Lambalgen - 2010 - Tijdschrift Voor Filosofie 72 (4):749-776.
    The paper addresses the way in which modern linguistics, − in particular, but not exclusively, the generative tradition − , has constructed its core concepts. It argues that a particular form of construction, reminiscent of, but crucially different from, abstrac- tion, which is dubbed ‘idealisation’, plays a central role here. The resemblances and differences between abstractions and idealisations are investigated, and consequences of the reliance on idealisations are reviewed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. What Cost Naturalism?Martin Stokhof & Michiel van Lambalgen - forthcoming - In Wiebke Petersen & Kata Balogh (eds.), BRIDGE 2014 Proceedings. University of Duesselfors Press.
    The paper traces some of the assumptions that have informed conservative naturalism in linguistic theory, critically examines their justification, and proposes a more liberal alternative.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Abstracte begrippen en concrete werkelijkheid - Twee vragen voor Hans Radder.Martin Stokhof & Michiel van Lambalgen - 2014 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 106 (1):69-74.
    Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  6. Rules, Regularities, Randomness. Festschrift for Michiel van Lambalgen.Keith Stenning & Martin Stokhof (eds.) - 2022 - Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
    Festschrift for Michiel van Lambalgen on the occasion of his retirement as professor of logic and cognitive science at the University of Amsterdam.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. (1 other version)The Proper Treatment of Events.Michiel van Lambalgen & Fritz Hamm - 2006 - Erkenntnis 65 (3):441-447.
    No categories
     
    Export citation  
     
    Bookmark   30 citations  
  8. A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  55
    The processing consequences of compositionality.Giosue Baggio, Michiel van Lambalgen & Peter Hagoort - 2012 - In Markus Werning, Wolfram Hinzen & Edouard Machery (eds.), The Oxford Handbook of Compositionality. Oxford University Press.
    Compositionality remains effective as an explanation of cases in which processing complexity increases due to syntactic factors only. It falls short of accounting for situations in which complexity arises from interactions with the sentence or discourse context, perceptual cues, and stored knowledge. The idea of compositionality as a methodological principle is appealing, but imputing the complexity to one component of the grammar or another, instead of enriching the notion of composition, is not always an innocuous move, leading to fully equivalent (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  42
    A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning.Keith Stenning & Michiel van Lambalgen - 2004 - Cognitive Science 28 (4):481-529.
    Modern logic provides accounts of both interpretation and derivation which work together to provide abstract frameworks for modelling the sensitivity of human reasoning to task, context and content. Cognitive theories have underplayed the importance of interpretative processes. We illustrate, using Wason's [Q. J. Exp. Psychol. 20 (1968) 273] selection task, how better empirical cognitive investigations and theories can be built directly on logical accounts when this imbalance is redressed. Subjects quite reasonably experience great difficulty in assigning logical form to descriptively (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  11.  25
    The processing consequences of the imperfective paradox.Baggio Giosue & Van Lambalgen Michiel - 2007 - Journal of Semantics 24 (4):307-330.
    In this paper we present a semantic analysis of the imperfective paradox based on the Event Calculus, a planning formalism characterizing a class of models which can be computed by connectionist networks. We report the results of a questionnaire that support the semantic theory and suggest that different aspectual classes of VPs in the progressive give rise to different entailment patterns. Further, a processing model is outlined, combining the semantic analysis with the psycholinguistic principle of immediacy in the framework of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  63
    Formal models for real people.Michiel van Lambalgen & Marian Counihan - 2008 - Journal of Logic, Language and Information 17 (4):385-389.
  13.  94
    Language, linguistics and cognition.Giosue Baggio, Michiel van Lambalgen & Peter Hagoort - 2012 - In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of linguistics. Boston: North Holland.
  14.  52
    Logic as Marr's Computational Level: Four Case Studies.Giosuè Baggio, Michiel van Lambalgen & Peter Hagoort - 2015 - Topics in Cognitive Science 7 (2):287-298.
    We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on temporal prepositions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  78
    The Processing Consequences of the Imperfective Paradox: Articles.Giosuè Baggio & Michiel Van Lambalgen - 2007 - Journal of Semantics 24 (4):307-330.
    In this paper we present a semantic analysis of the imperfective paradox based on the Event Calculus, a planning formalism characterizing a class of models which can be computed by connectionist networks. We report the results of a questionnaire that support the semantic theory and suggest that different aspectual classes of VPs in the progressive give rise to different entailment patterns. Further, a processing model is outlined, combining the semantic analysis with the psycholinguistic principle of immediacy in the framework of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  31
    Correspondence and Completeness for Generalized Quantifiers.Natasha Alechina & Michiel van Lambalgen - 1995 - Logic Journal of the IGPL 3 (2-3):167-190.
  17.  63
    The axiomatization of randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
    We present a faithful axiomatization of von Mises' notion of a random sequence, using an abstract independence relation. A byproduct is a quantifier elimination theorem for Friedman's "almost all" quantifier in terms of this independence relation.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  18. Event Calculus, Nominalisation, and the Progressive.Fritz Hamm & Michiel van Lambalgen - 2003 - Linguistics and Philosophy 26 (4):381 - 458.
  19. Generalized quantification as substructural logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006-1044.
    We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Human reasoning and cognitive science.Keith Stenning & Michiel van Lambalgen - 2008 - Boston, USA: MIT Press.
    In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   91 citations  
  21.  36
    On a Spector Ultrapower for the Solovay Model.Vladimir Kanovei & Michiel van Lambalgen - 1997 - Mathematical Logic Quarterly 43 (3):389-395.
    We prove that a Spector‐like ultrapower extension ???? of a countable Solovay model ???? (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension ????[a], where a is a random real over ????. The proof involves the Solovay almost everywhere uniformization technique.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. Algorithmic information theory.Michiel van Lambalgen - 1989 - Journal of Symbolic Logic 54 (4):1389-1400.
    We present a critical discussion of the claim (most forcefully propounded by Chaitin) that algorithmic information theory sheds new light on Godel's first incompleteness theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  23.  91
    Von Mises' definition of random sequences reconsidered.Michiel van Lambalgen - 1987 - Journal of Symbolic Logic 52 (3):725-755.
    We review briefly the attempts to define random sequences. These attempts suggest two theorems: one concerning the number of subsequence selection procedures that transform a random sequence into a random sequence; the other concerning the relationship between definitions of randomness based on subsequence selection and those based on statistical tests.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24.  19
    Explaining intersubjectivity. A comment on Arie Verhagen, Constructions of Intersubjectivity.Wolfram Hinzen & Michiel van Lambalgen - 2008 - Cognitive Linguistics 19 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Independence, randomness and the axiom of choice.Michiel van Lambalgen - 1992 - Journal of Symbolic Logic 57 (4):1274-1304.
    We investigate various ways of introducing axioms for randomness in set theory. The results show that these axioms, when added to ZF, imply the failure of AC. But the axiom of extensionality plays an essential role in the derivation, and a deeper analysis may ultimately show that randomness is incompatible with extensionality.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  23
    The Representation of Takeuti's ⫫-Operator.Roger M. Cooke & Michiel Van Lambalgen - 1983 - Studia Logica 42 (4):407-415.
    Gaisi Takeuti has recently proposed a new operation on orthomodular lattices L, ⫫: $\scr{P}\rightarrow L$ . The properties of ⫫ suggest that the value of ⫫ $$ corresponds to the degree in which the elements of A behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular lattices L and the existence of two-valued homomorphisms on L.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. THE LOGIC OF TIME AND THE CONTINUUM IN KANT's CRITICAL PHILOSOPHY.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, corresponding to time as ‘inner (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  39
    (1 other version)The logic and topology of kant’s temporal continuum.Riccardo Pinosio & Michiel van Lambalgen - 2018 - Review of Symbolic Logic 11 (1):160-206.
    In this paper we provide a mathematical model of Kant’s temporal continuum that yields formal correlates for Kant’s informal treatment of this concept in theCritique of Pure Reasonand in other works of his critical period. We show that the formal model satisfies Kant’s synthetic a priori principles for time and that it even illuminates what “faculties and functions” must be in place, as “conditions for the possibility of experience”, for time to satisfy such principles. We then present a mathematically precise (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  64
    Discourse processing in attention-deficit hyperactivity disorder (adhd).Michiel van Lambalgen, Claudia van Kruistum & Esther Parigger - 2008 - Journal of Logic, Language and Information 17 (4):467-487.
    ADHD is a psychiatric disorder characterised by persistent and developmentally inappropriate levels of inattention, impulsivity and hyperactivity. It is known that children with ADHD tend to produce incoherent discourses, e.g. by narrating events out of sequence. Here the aetiology of ADHD becomes of interest. One prominent theory is that ADHD is an executive function disorder, showing deficiencies of planning. Given the close link between planning, verb tense and discourse coherence postulated in van Lambalgen and Hamm (The proper treatment of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  45
    Logic programming, probability, and two-system accounts of reasoning: a rejoinder to Oaksford and Chater.Keith Stenning & Michiel van Lambalgen - 2016 - Thinking and Reasoning 22 (3):355-368.
    This reply to Oaksford and Chater’s ’s critical discussion of our use of logic programming to model and predict patterns of conditional reasoning will frame the dispute in terms of the semantics of the conditional. We begin by outlining some common features of LP and probabilistic conditionals in knowledge-rich reasoning over long-term memory knowledge bases. For both, context determines causal strength; there are inferences from the absence of certain evidence; and both have analogues of the Ramsey test. Some current work (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  49
    How reasoning differs from computation.Michiel van Lambalgen - unknown
    Sieg has proposed axioms for computability whose models can be reduced to Turing machines. This lecture will investigate to what extent these axioms hold for reasoning. In particular we focus on the requirement that the configurations that a computing agent (whether human or machine) operates on must be ’immediately recognisable’. If one thinks of reasoning as derivation in a calculus, this requirement is satisfied; but even in contexts which are only slightly less formal, the requirement cannot be met. Our main (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. The logical response to a noisy world.Keith Stenning& van Lambalgen & Michiel - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thought. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  33. The logical response to a noisy world.Keith Stenning& Michiel van Lambalgen - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thought. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  62
    William A. Dembski. Randomness by design. Noûs, vol. 25 , pp. 75–106.Michiel van Lambalgen - 1992 - Journal of Symbolic Logic 57 (2):758-759.
  35.  26
    Interpretation, representation, and deductive reasoning.Keith Stenning & Michiel van Lambalgen - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. New York: Cambridge University Press. pp. 223-248.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  29
    Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel van Lambalgen - 2005 - Cognitive Science 29 (6):919-960.
    Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed‐world reasoning of particular interest for (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  37. Language Evolution: Enlarging the Picture.Keith Stenning & Michiel van Lambalgen - 2012 - In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind: An Interdisciplinary Approach. Palgrave-Macmillan. pp. 264-282.
     
    Export citation  
     
    Bookmark  
  38.  88
    “Nonmonotonic” does not mean “probabilistic”.Keith Stenning & Michiel van Lambalgen - 2009 - Behavioral and Brain Sciences 32 (1):102-103.
    Oaksford & Chater (O&C) advocate Bayesian probability as a way to deal formally with the pervasive nonmonotonicity of common sense reasoning. We show that some forms of nonmonotonicity cannot be treated by Bayesian methods.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Semantics as a foundation for psychology: A case study of Wason's selection task. [REVIEW]Keith Stenning & Michiel van Lambalgen - 2001 - Journal of Logic, Language and Information 10 (3):273-317.
    We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  40. Logic in the study of psychiatric disorders: Executive function and rule-following.Keith Stenning & Michiel van Lambalgen - 2007 - Topoi 26 (1):97-114.
    Executive function has become an important concept in explanations of psychiatric disorders, but we currently lack comprehensive models of normal executive function and of its malfunctions. Here we illustrate how defeasible logical analysis can aid progress in this area. We illustrate using autism and attention deficit hyperactivity disorder (ADHD) as example disorders, and show how logical analysis reveals commonalities between linguistic and non-linguistic behaviours within each disorder, and how contrasting sub-components of executive function are involved across disorders. This analysis reveals (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41. The future of semantics?Martin Stokhof - manuscript
    The paper by Fritz Hamm, Hans Kamp and Michiel van Lambalgen (in what follows abbreviated as ‘HKL’) is a very rich one. Not only does it contain a wealth of empirical and formal insights concerning the analysis of tense and aspect, planning and causality, and other phenomena, it also contains some penetrating remarks concerning the scope and method of semantic theory. It is the latter aspect of the paper that I want to make a few comments on in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  40
    An Introduction to the Special Issue on Logic, Cognition and Argumentation.Mariusz Urbański, Michiel Van Lambalgen & Marcin Koszowy - 2018 - Logic and Logical Philosophy 27 (4):417.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  35
    Editorial: An invitation to cognitive science. [REVIEW]Michiel van Lambalgen - 2001 - Journal of Logic, Language and Information 10 (2):145-146.
  44.  50
    Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  34
    An Introduction to the Special Issue on Question Processing.Mariusz Urbański, Michiel van Lambalgen & Marcin Koszowy - 2017 - Logic and Logical Philosophy 26 (3):285-288.
    An Introduction to the Special Issue on Question Processing.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  59
    A logic of vision.Jaap M. van der Does & Michiel van Lambalgen - 2000 - Linguistics and Philosophy 23 (1):1-92.
    This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a multi-layered process. The different layers have filters of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  18
    Discourse Processing in Attention-Deficit Hyperactivity Disorder (ADHD).Michiel Lambalgen, Claudia Kruistum & Esther Parigger - 2008 - Journal of Logic, Language and Information 17 (4):467-487.
    ADHD is a psychiatric disorder characterised by persistent and developmentally inappropriate levels of inattention, impulsivity and hyperactivity. It is known that children with ADHD tend to produce incoherent discourses, e.g. by narrating events out of sequence. Here the aetiology of ADHD becomes of interest. One prominent theory is that ADHD is an executive function disorder, showing deficiencies of planning. Given the close link between planning, verb tense and discourse coherence postulated in van Lambalgen and Hamm (The proper treatment of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  59
    In Defense of Idealizations: A Comment on Stokhof & van Lambalgen.Manfred Krifka - unknown
    I think that some of the arguments in this article are themselves flawed, or are based on an understanding of linguistics that is too narrowly focused on certain versions of generative grammar. For example, the argument that in computational applications purely statistical approaches are in general more successful than rule-based approaches has to be qualified: It holds, or may have hold, for certain applications like machine translation, but not for others, like the generation of text to answer queries to databases. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  45
    Michiel van Lambalgen. Independence, randomness and the axiom of choice. The journal of symbolic logic, vol. 57 , pp. 1274–1304.John C. Simms - 1994 - Journal of Symbolic Logic 59 (4):1433-1434.
  50.  46
    Keith Stenning and Michiel van Lambalgen, Human reasoning and cognitive science.Anders Søgaard - 2011 - Studia Logica 97 (2):317-318.
1 — 50 / 54